/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
/**
 * NuGat-API named Chameleon developed by Simon De Baets to Verimag.
 *
 */
package chameleon.model.NuGatStructure.utils;

import chameleon.gameSolver.NuGat.NuGatInterface;
import chameleon.model.NuGatStructure.NuGatStructure;
import com.sun.jna.Pointer;

/**
 * wrapper to fsm/sexp/expr.c 
 * @author simon
 */
public class Expression extends NuGatStructure {
    
    public Expression (Pointer expression, NuGatInterface nugat){
        super (expression, nugat);
    }
    
    /**
     * 
     * @param a
     * @param b
     * @return 
     */
    
    public Expression andNil(Expression a, Expression b){
        return new Expression (nugat_.Expr_and_nil(a.ptr(), b.ptr()),nugat_);
    }
    
}
